3.11.37 \(\int \frac {a+b x}{(a c-b c x)^6} \, dx\) [1037]

Optimal. Leaf size=38 \[ \frac {2 a}{5 b c^6 (a-b x)^5}-\frac {1}{4 b c^6 (a-b x)^4} \]

[Out]

2/5*a/b/c^6/(-b*x+a)^5-1/4/b/c^6/(-b*x+a)^4

________________________________________________________________________________________

Rubi [A]
time = 0.01, antiderivative size = 38, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {45} \begin {gather*} \frac {2 a}{5 b c^6 (a-b x)^5}-\frac {1}{4 b c^6 (a-b x)^4} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(a + b*x)/(a*c - b*c*x)^6,x]

[Out]

(2*a)/(5*b*c^6*(a - b*x)^5) - 1/(4*b*c^6*(a - b*x)^4)

Rule 45

Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])

Rubi steps

\begin {align*} \int \frac {a+b x}{(a c-b c x)^6} \, dx &=\int \left (\frac {2 a}{c^6 (a-b x)^6}-\frac {1}{c^6 (a-b x)^5}\right ) \, dx\\ &=\frac {2 a}{5 b c^6 (a-b x)^5}-\frac {1}{4 b c^6 (a-b x)^4}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.01, size = 27, normalized size = 0.71 \begin {gather*} -\frac {3 a+5 b x}{20 b c^6 (-a+b x)^5} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(a + b*x)/(a*c - b*c*x)^6,x]

[Out]

-1/20*(3*a + 5*b*x)/(b*c^6*(-a + b*x)^5)

________________________________________________________________________________________

Mathics [A]
time = 2.25, size = 68, normalized size = 1.79 \begin {gather*} \frac {3 a+5 b x}{20 b c^6 \left (a^5-5 a^4 b x+10 a^3 b^2 x^2-10 a^2 b^3 x^3+5 a b^4 x^4-b^5 x^5\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

mathics('Integrate[(a + b*x)/(a*c - b*c*x)^6,x]')

[Out]

(3 a + 5 b x) / (20 b c ^ 6 (a ^ 5 - 5 a ^ 4 b x + 10 a ^ 3 b ^ 2 x ^ 2 - 10 a ^ 2 b ^ 3 x ^ 3 + 5 a b ^ 4 x ^
 4 - b ^ 5 x ^ 5))

________________________________________________________________________________________

Maple [A]
time = 0.14, size = 33, normalized size = 0.87

method result size
risch \(\frac {\frac {x}{4}+\frac {3 a}{20 b}}{c^{6} \left (-b x +a \right )^{5}}\) \(23\)
gosper \(\frac {5 b x +3 a}{20 \left (-b x +a \right )^{5} c^{6} b}\) \(25\)
norman \(\frac {\frac {3 a}{20 b c}+\frac {x}{4 c}}{c^{5} \left (-b x +a \right )^{5}}\) \(29\)
default \(\frac {-\frac {1}{4 b \left (-b x +a \right )^{4}}+\frac {2 a}{5 b \left (-b x +a \right )^{5}}}{c^{6}}\) \(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((b*x+a)/(-b*c*x+a*c)^6,x,method=_RETURNVERBOSE)

[Out]

1/c^6*(-1/4/b/(-b*x+a)^4+2/5*a/b/(-b*x+a)^5)

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 84 vs. \(2 (36) = 72\).
time = 0.27, size = 84, normalized size = 2.21 \begin {gather*} -\frac {5 \, b x + 3 \, a}{20 \, {\left (b^{6} c^{6} x^{5} - 5 \, a b^{5} c^{6} x^{4} + 10 \, a^{2} b^{4} c^{6} x^{3} - 10 \, a^{3} b^{3} c^{6} x^{2} + 5 \, a^{4} b^{2} c^{6} x - a^{5} b c^{6}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)/(-b*c*x+a*c)^6,x, algorithm="maxima")

[Out]

-1/20*(5*b*x + 3*a)/(b^6*c^6*x^5 - 5*a*b^5*c^6*x^4 + 10*a^2*b^4*c^6*x^3 - 10*a^3*b^3*c^6*x^2 + 5*a^4*b^2*c^6*x
 - a^5*b*c^6)

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 84 vs. \(2 (36) = 72\).
time = 0.29, size = 84, normalized size = 2.21 \begin {gather*} -\frac {5 \, b x + 3 \, a}{20 \, {\left (b^{6} c^{6} x^{5} - 5 \, a b^{5} c^{6} x^{4} + 10 \, a^{2} b^{4} c^{6} x^{3} - 10 \, a^{3} b^{3} c^{6} x^{2} + 5 \, a^{4} b^{2} c^{6} x - a^{5} b c^{6}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)/(-b*c*x+a*c)^6,x, algorithm="fricas")

[Out]

-1/20*(5*b*x + 3*a)/(b^6*c^6*x^5 - 5*a*b^5*c^6*x^4 + 10*a^2*b^4*c^6*x^3 - 10*a^3*b^3*c^6*x^2 + 5*a^4*b^2*c^6*x
 - a^5*b*c^6)

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 88 vs. \(2 (31) = 62\).
time = 0.23, size = 88, normalized size = 2.32 \begin {gather*} \frac {- 3 a - 5 b x}{- 20 a^{5} b c^{6} + 100 a^{4} b^{2} c^{6} x - 200 a^{3} b^{3} c^{6} x^{2} + 200 a^{2} b^{4} c^{6} x^{3} - 100 a b^{5} c^{6} x^{4} + 20 b^{6} c^{6} x^{5}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)/(-b*c*x+a*c)**6,x)

[Out]

(-3*a - 5*b*x)/(-20*a**5*b*c**6 + 100*a**4*b**2*c**6*x - 200*a**3*b**3*c**6*x**2 + 200*a**2*b**4*c**6*x**3 - 1
00*a*b**5*c**6*x**4 + 20*b**6*c**6*x**5)

________________________________________________________________________________________

Giac [A]
time = 0.00, size = 27, normalized size = 0.71 \begin {gather*} -\frac {-5 x b-3 a}{20 b c^{6} \left (-x b+a\right )^{5}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((b*x+a)/(-b*c*x+a*c)^6,x)

[Out]

-1/20*(5*b*x + 3*a)/((b*x - a)^5*b*c^6)

________________________________________________________________________________________

Mupad [B]
time = 0.08, size = 82, normalized size = 2.16 \begin {gather*} \frac {\frac {x}{4}+\frac {3\,a}{20\,b}}{a^5\,c^6-5\,a^4\,b\,c^6\,x+10\,a^3\,b^2\,c^6\,x^2-10\,a^2\,b^3\,c^6\,x^3+5\,a\,b^4\,c^6\,x^4-b^5\,c^6\,x^5} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*x)/(a*c - b*c*x)^6,x)

[Out]

(x/4 + (3*a)/(20*b))/(a^5*c^6 - b^5*c^6*x^5 + 5*a*b^4*c^6*x^4 + 10*a^3*b^2*c^6*x^2 - 10*a^2*b^3*c^6*x^3 - 5*a^
4*b*c^6*x)

________________________________________________________________________________________